Specifying and Executing Protocols for Cooperative Action
نویسندگان
چکیده
The purpose of this paper is twofold: (i) to illustrate and re-emphasize the use of CONCURRENT METATEM, a programming language based on executable temporal logic, as a viable framework in which to develop Distributed Artificial Intelligence (DAI) applications; and (ii) to present a specific example of a cooperative protocol, give an outline of its implementation in CONCURRENT METATEM, and show how properties of the protocol can be established through formal proof.
منابع مشابه
Process algebraic modeling of authentication protocols for analysis of parallel multi-session executions
Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions of a protocol, and because an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authen...
متن کاملQuality of Service (QoS) and Security Provisioning in Cooperative Mobile Ad Hoc Networks (MANETs)
Cooperative communication can improve communication quality in wireless communication networks through strategic relay selection. However, wireless cooperative communication networks are vulnerable to the attacks initiated on relays. Although applying authentication protocols can secure cooperative communication when the selected relay is malicious, better system throughput could be obtained wi...
متن کاملSpecifying and Executing User Agent Behaviour with Condition-Action Rules∗
The paper outlines a rule-based language for specifying and executing user agents operating over decentralised networked components. We draw on experience gained in projects around data integration and system interoperation with both academic and industrial partners, and from lessons learned during the development of several prototypes. We have identified architectural mismatches that require m...
متن کاملFactors affecting athletes’ motor behavior after the observation of scenes of cooperation and competition in competitive sport: the effect of sport attitude
AIM This study delineated how observing sports scenes of cooperation or competition modulated an action of interaction, in expert athletes, depending on their specific sport attitude. METHOD In a kinematic study, athletes were divided into two groups depending on their attitude toward teammates (cooperative or competitive). Participants observed sport scenes of cooperation and competition (ba...
متن کاملxMOF: A Semantics Specification Language for Metamodeling
While MOF constitutes a standardized and widely accepted language for formally defining a modeling language’s abstract syntax, no standardized language for specifying its behavioral semantics exists. This impedes the efficient development of tools which build upon the behavioral semantics of modeling languages, such as model interpreters, debuggers, and testing environments. To address this sho...
متن کامل